]> dgit.raspbian.org Git - gnome-shell.git/commit
windowManager: Also clear animationInfo when size-changed wasn't emitted
authorJonas Dreßler <verdre@v0yd.nl>
Tue, 12 May 2020 11:51:27 +0000 (13:51 +0200)
committerRobert Mader <robert.mader@posteo.de>
Mon, 15 Jun 2020 13:12:03 +0000 (13:12 +0000)
commit8078d78c30f9fde233d54c665bcd5c0fa80ea963
tree18b749ebbc2398b4e0aa109428f052785b9b22c0
parentd7185d71c6c5b51749cbd4e92b3730c60ee259f9
windowManager: Also clear animationInfo when size-changed wasn't emitted

It might be that we receive a "kill-window-effects" signal between the
emission of the "size-change" and the "size-changed" signal.

In this case we already have the animationInfo attached to the window
actor, so we should also remove it.

https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1251
js/ui/windowManager.js